forked from NCOR-US/IOF-BFO
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathIOF.ttl
797 lines (610 loc) · 66.7 KB
/
IOF.ttl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
@prefix : <https://www.industrialontologies.org/core#> .
@prefix ro: <http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ROImport#> .
@prefix bfo: <http://purl.obolibrary.org/obo/bfo.owl#> .
@prefix cco: <http://www.ontologyrepository.com/CommonCoreOntologies/> .
@prefix iao: <http://purl.obolibrary.org/obo/iao/> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <https://www.industrialontologies.org/core> .
<https://www.industrialontologies.org/core> rdf:type owl:Ontology ;
owl:imports <http://purl.obolibrary.org/obo/bfo/2019-08-26/bfo.owl> ,
<http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ROImport> ;
rdfs:comment "This ontology is intended to reflect the Top-Down group, a working group of the Industrial Ontology Foundry (IOF). It is an OWL implementation of the ontology described in https://docs.google.com/document/d/1gwrGTOjFc3xdnfUsMVNGOHwasUQUBpKXxwyrKlC5UBI/edit" ;
owl:versionInfo ".001" .
#################################################################
# Annotation properties
#################################################################
### http://purl.obolibrary.org/obo/IAO_0000116
obo:IAO_0000116 rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy obo:iao.owl ;
rdfs:label "editor note"@en .
### http://purl.obolibrary.org/obo/IAO_0000602
obo:IAO_0000602 rdf:type owl:AnnotationProperty ;
rdfs:isDefinedBy obo:iao.owl ;
rdfs:label "has associated axiom(fol)"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/acronym
cco:acronym rdf:type owl:AnnotationProperty ;
cco:definition "An Alternative Label that consists of a shortened or abbreviated form of the rdfs:label and is used to denote the entity."^^xsd:string ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:string ;
rdfs:label "acronym"^^xsd:string ;
rdfs:subPropertyOf cco:alternative_label .
### http://www.ontologyrepository.com/CommonCoreOntologies/alternative_label
cco:alternative_label rdf:type owl:AnnotationProperty .
### http://www.ontologyrepository.com/CommonCoreOntologies/definition
cco:definition rdf:type owl:AnnotationProperty ;
cco:definition "A natural language explication of the meaning of the term." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology" ;
rdfs:label "definition" .
### http://www.ontologyrepository.com/CommonCoreOntologies/definition_source
cco:definition_source rdf:type owl:AnnotationProperty ;
cco:definition "A citation of where all or some of the information used to create the term's Definition was acquired from." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology" ;
rdfs:label "definition source" .
### http://www.ontologyrepository.com/CommonCoreOntologies/elucidation
cco:elucidation rdf:type owl:AnnotationProperty ;
cco:definition "A clarification or further explanation of a term beyond what is included in the Definition or which is used when the term is primitive such that no non-circular definition can be given for it." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology" ;
rdfs:label "elucidation" .
### http://www.ontologyrepository.com/CommonCoreOntologies/is_curated_in_ontology
cco:is_curated_in_ontology rdf:type owl:AnnotationProperty .
### http://www.ontologyrepository.com/CommonCoreOntologies/term_creator
cco:term_creator rdf:type owl:AnnotationProperty ;
cco:definition "The name of the Term Editor who added the term to the ontology."^^xsd:string ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:string ;
rdfs:subPropertyOf cco:term_editor .
### http://www.ontologyrepository.com/CommonCoreOntologies/term_editor
cco:term_editor rdf:type owl:AnnotationProperty ;
cco:definition "The name of a person who contributed to the development or enhancement of the term." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology" ;
rdfs:label "term editor" .
#################################################################
# Object Properties
#################################################################
### http://purl.obolibrary.org/obo/RO_0000087
obo:RO_0000087 rdf:type owl:ObjectProperty .
#################################################################
# Classes
#################################################################
### http://purl.obolibrary.org/obo/IAO_0000005
obo:IAO_0000005 rdf:type owl:Class ;
rdfs:subClassOf cco:DirectiveInformationContentEntity ;
obo:IAO_0000111 "objective specification"@en ;
obo:IAO_0000112 "In the protocol of a ChIP assay the objective specification says to identify protein and DNA interaction."@en ;
obo:IAO_0000114 obo:IAO_0000122 ;
obo:IAO_0000115 "a directive information entity that describes an intended process endpoint. When part of a plan specification the concretization is realized in a planned process in which the bearer tries to effect the world so that the process endpoint is achieved."@en ;
obo:IAO_0000116 "2009-03-16: original definition when imported from OBI read: \"objective is an non realizable information entity which can serve as that proper part of a plan towards which the realization of the plan is directed.\""@en ,
"2014-03-31: In the example of usage (\"In the protocol of a ChIP assay the objective specification says to identify protein and DNA interaction\") there is a protocol which is the ChIP assay protocol. In addition to being concretized on paper, the protocol can be concretized as a realizable entity, such as a plan that inheres in a person. The objective specification is the part that says that some protein and DNA interactions are identified. This is a specification of a process endpoint: the boundary in the process before which they are not identified and after which they are. During the realization of the plan, the goal is to get to the point of having the interactions, and participants in the realization of the plan try to do that."@en ,
"Answers the question, why did you do this experiment?"@en ;
obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en ,
"PERSON: Barry Smith"@en ,
"PERSON: Bjoern Peters"@en ,
"PERSON: Jennifer Fostel"@en ;
obo:IAO_0000118 "goal specification"@en ;
obo:IAO_0000119 "OBI Plan and Planned Process/Roles Branch"@en ,
"OBI_0000217"@en ;
rdfs:label "objective specification"@en .
### http://purl.obolibrary.org/obo/IAO_0000007
obo:IAO_0000007 rdf:type owl:Class ;
rdfs:subClassOf cco:DirectiveInformationContentEntity ;
obo:IAO_0000112 "Pour the contents of flask 1 into flask 2"@en ;
obo:IAO_0000114 obo:IAO_0000122 ;
obo:IAO_0000115 "a directive information entity that describes an action the bearer will take"@en ;
obo:IAO_0000117 "Alan Ruttenberg"@en ;
obo:IAO_0000119 "OBI Plan and Planned Process branch"@en ;
rdfs:label "action specification"@en .
### http://purl.obolibrary.org/obo/OBI_0000011
obo:OBI_0000011 rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000013> ;
obo:IAO_0000111 "planned process"@en ;
obo:IAO_0000115 "A processual entity that realizes a plan which is the concretization of a plan specification."@en ;
obo:IAO_0000412 obo:obi.owl ;
rdfs:label "planned process"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ActOfArtifactEmployment
cco:ActOfArtifactEmployment rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000013> ;
cco:definition "An Intentional Act of using an Artifact." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/EventOntology" ;
rdfs:label "Act of Artifact Employment"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/DescriptiveInformationContentEntity
cco:DescriptiveInformationContentEntity rdf:type owl:Class ;
rdfs:subClassOf cco:InformationContentEntity ;
owl:disjointWith cco:DesignativeInformationContentEntity ,
cco:DirectiveInformationContentEntity ;
cco:alternative_label "Descriptive ICE" ;
cco:definition "An Information Content Entity that consists of a set of propositions that describe some Entity." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/InformationEntityOntology" ;
rdfs:label "Descriptive Information Content Entity" .
### http://www.ontologyrepository.com/CommonCoreOntologies/DesignativeInformationContentEntity
cco:DesignativeInformationContentEntity rdf:type owl:Class ;
rdfs:subClassOf cco:InformationContentEntity ;
owl:disjointWith cco:DirectiveInformationContentEntity ;
cco:alternative_label "Designative ICE" ;
cco:definition "An Information Content Entity that consists of a set of symbols that denote some Entity." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/InformationEntityOntology" ;
rdfs:label "Designative Information Content Entity" .
### http://www.ontologyrepository.com/CommonCoreOntologies/DirectiveInformationContentEntity
cco:DirectiveInformationContentEntity rdf:type owl:Class ;
rdfs:subClassOf cco:InformationContentEntity ;
cco:alternative_label "Directive ICE" ;
cco:definition "An Information Content Entity that consists of a set of propositions or images (as in the case of a blueprint) that prescribe some Entity." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/InformationEntityOntology" ;
rdfs:label "Directive Information Content Entity" .
### http://www.ontologyrepository.com/CommonCoreOntologies/GroupOfAgents
cco:GroupOfAgents rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000027 .
### http://www.ontologyrepository.com/CommonCoreOntologies/InformationContentEntity
cco:InformationContentEntity rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000031 ;
cco:alternative_label "ICE" ;
cco:definition "A Generically Dependent Continuant that generically depends on some Information Bearing Entity and stands in relation of aboutness to some Entity." ;
cco:definition_source "http://purl.obolibrary.org/obo/IAO_0000030" ;
cco:elucidation "Information Content Entity is here intended to be a class of Entities whose instances are the informational content of Information Bearing Entities. For example, three instances of information bearers -- such as a bar chart, color-coded map, and a written report -- each of which lists the GDP of Countries for the year 2010 are each different bearers of the same information content. It is this content that is generically dependent upon its bearer. This treatment of Informational Content Entity (cf. the Information Artifact Ontology) leads to a principle of subtyping based upon the relationship that ICE's have with the Entity they are about rather than characteristics such as format, language, measurement scale, or media. The latter are treated here as being Qualities of bearers." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/InformationEntityOntology" ;
rdfs:label "Information Content Entity" .
### http://www.ontologyrepository.com/CommonCoreOntologies/Organization
cco:Organization rdf:type owl:Class ;
rdfs:subClassOf cco:GroupOfAgents ;
cco:definition "A Group of Agents which can be the bearer of roles, has members, and has a set of organization rules." ;
cco:definition_source "http://purl.obolibrary.org/obo/OBI_0000245" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology" ;
rdfs:comment "Members of organizations are either Organizations themselves or individual Persons. Members can bear specific Organization Member Roles that are determined in the organization rules. The organization rules also determine how decisions are made on behalf of the Organization by the organization members." ;
rdfs:label "Organization" .
### http://www.ontologyrepository.com/CommonCoreOntologies/Tool
cco:Tool rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
cco:definition "An Artifact that is designed to assist in the performance of manual or mechanical work and not to be consumed in that process." ;
cco:definition_source "https://en.wikipedia.org/wiki/Tool" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ArtifactOntology" ;
rdfs:label "Tool" .
### https://www.industrialontologies.org/core/IOF_00000080
<https://www.industrialontologies.org/core/IOF_00000080> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000049> ;
cco:definition "A Plan Specification that prescribes an Operation, some Manufacturing Resource that realizes it, and has parts, some partially-ordered sequence of Step Specifications." ;
cco:definition_source "IOF group discussions." ;
rdfs:comment """Alternate common definitions [APICS]:
1) A job or task [specification], consisting of one or more work elements, usually done essentially in one location.
2) The [specification] of any planned work or method associated with an individual, machine, process, department, or inspection.
3) [A specification prescribing a set of actions to realize] the intentional changing of an object in any of its physical or chemical characteristics; the assembly or disassembly of parts or objects; the preparation of an object for another operation, transportation, inspection, or storage; planning, calculating, or giving or receiving information.""" ;
rdfs:label "Operation Specification" .
### https://www.industrialontologies.org/core/iof_00000000
<https://www.industrialontologies.org/core/iof_00000000> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000052>
] ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
obo:IAO_0000602 "product(x,t)=def.instance-of(x,continuant,t)and∃ rproduct-role(r)&(h as-role(x, r, t)" ;
cco:definition "def. continuant that has a product role. " ;
rdfs:comment """Comment 1: This definition leaves open the possibility that generically dependent continuants may be products.
""" ,
"Comment 2: The BFO term ‘role’ is used extensively in this formalization to do justice to those cases where general terms are phase sortals, which means they hold only for certain phases in the existence of the relevant entities. Thus, for example, a given material entity may be correctly describable as a prototype at one phase in its existence and as a product in a later phase." ;
rdfs:label "Product" .
### https://www.industrialontologies.org/core/iof_00000001
<https://www.industrialontologies.org/core/iof_00000001> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000002 ;
cco:definition "“feature” (like “characteristic”) is an umbrella term including in its coverage domain: qualities, parts of a material product (for example, chromium plating), a hole within a material product (for example, a button hole), as well as information entities, as well as metalevel characteristics such as availability, reliability, average dimensions, as well as characteristics of processes such as rate, continuity, and so forth." ;
rdfs:label "Feature"@en .
### https://www.industrialontologies.org/core/iof_00000002
<https://www.industrialontologies.org/core/iof_00000002> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
cco:definition "def. planned process that is part of a product production process and is prescribed by an operation specification."@en ;
rdfs:label "Operation"@en .
### https://www.industrialontologies.org/core/iof_00000004
<https://www.industrialontologies.org/core/iof_00000004> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000040 ;
obo:IAO_0000602 "instance-of(x, portion-of-input-material, t) ≡ ∃y(instance-of(y, input-material-role, t) & has-role(x, y, t) )" ;
cco:definition "def. material entity that has an input material role." ;
rdfs:label "Portion of Input Material"@en .
### https://www.industrialontologies.org/core/iof_00000005
<https://www.industrialontologies.org/core/iof_00000005> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000049> ;
cco:definition "def. Plan Specification that is part of an Operation Specification."@en ;
rdfs:label "Step Specification"@en .
### https://www.industrialontologies.org/core/iof_00000006
<https://www.industrialontologies.org/core/iof_00000006> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
cco:definition "def. material artifact that has a mechanical system as part."@en ;
rdfs:label "Machine"@en .
### https://www.industrialontologies.org/core/iof_00000007
<https://www.industrialontologies.org/core/iof_00000007> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000009> ;
cco:definition "tbd" ;
rdfs:comment "‘engineered system’ is broader than ‘manufactured system’ – the Milan subway is an engineered system but in addition to manufactured parts it includes also personnel and real estate."@en ;
rdfs:label "Engineered System"@en .
### https://www.industrialontologies.org/core/iof_00000008
<https://www.industrialontologies.org/core/iof_00000008> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000007> ;
cco:definition "def. engineered system that realizes its function through the use of power to apply forces."@en ;
rdfs:label "Mechanical System"@en .
### https://www.industrialontologies.org/core/iof_00000009
<https://www.industrialontologies.org/core/iof_00000009> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000027 ;
cco:definition "def. object aggregate whose member parts are causally integrated." ;
rdfs:comment "Examples: solar system, digestive system, forest ecosystem, hydraulic system, subway system." ;
rdfs:label "System"@en .
### https://www.industrialontologies.org/core/iof_00000010
<https://www.industrialontologies.org/core/iof_00000010> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000016> ;
cco:definition "TBD" ;
rdfs:label "Workpiece"@en .
### https://www.industrialontologies.org/core/iof_00000011
<https://www.industrialontologies.org/core/iof_00000011> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000013> ;
cco:definition "tbd " ;
rdfs:label "Act of Purchasing"@en .
### https://www.industrialontologies.org/core/iof_00000012
<https://www.industrialontologies.org/core/iof_00000012> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000013> ;
cco:definition "tbd" ;
rdfs:label "Act of Selling"@en .
### https://www.industrialontologies.org/core/iof_00000013
<https://www.industrialontologies.org/core/iof_00000013> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000015 ;
obo:IAO_0000115 "A processual entity that realizes a plan which is the concretization of a plan specification."@en ;
obo:IAO_0000602 "instance-of(x, action, t) ≡ ∃y (instance-of(y, agent, t) & has-agent (x, y, t))" ;
cco:definition "def. process that has-agent some agent." ;
rdfs:label "Action" .
### https://www.industrialontologies.org/core/iof_00000014
<https://www.industrialontologies.org/core/iof_00000014> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000040 ;
obo:IAO_0000602 """
Every agent bears some intention at some time.
instance-of(x, agent, t)) → ∃y, t′(instance-of(y, intention, t′) & bears(x, y))""" ,
"""Only agents have intentions.
intention(x, t) → agent(y, t) & bears(y, x)""" ,
"""has-agent: a primitive relation between a process and an agent, which holds when the agent participates in the process and plays a causal role in bringing about the process.
x has-agent y → (instance-of(x, agent, t) & instance-of(y, process, t))
Comment: The inverse of has-agent is agent-in.""" ,
"instance-of(x, agent, t) ≡ (instance-of(x, person, t) ˅ instance-of(x, organization, t))" ,
"""uses-in: a primitive relation between an agent, an entity, and a process.
uses-in (x, y, z) → agent(x) & entity(y) & process(z) & participates-in(y, x)""" ;
cco:definition "def. person or organization" ;
rdfs:comment "This axiom implies that ‘agent’ is not a role term in the BFO sense. It implies also that it is not a phase sortal." ;
rdfs:label "Agent" .
### https://www.industrialontologies.org/core/iof_00000015
<https://www.industrialontologies.org/core/iof_00000015> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000007> ;
cco:definition "def. engineered system that is the specified output of a manufacturing process."@en ;
rdfs:comment "a manufactured system is not a manufactured product, since all manufactured products are objects and all systems are object aggregates."@en ;
rdfs:label "Manufactured System"@en .
### https://www.industrialontologies.org/core/iof_00000016
<https://www.industrialontologies.org/core/iof_00000016> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000027 ;
rdfs:comment "TBD" ;
rdfs:label "Assembly" .
### https://www.industrialontologies.org/core/iof_00000017
<https://www.industrialontologies.org/core/iof_00000017> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
rdfs:label "Assembly Process" .
### https://www.industrialontologies.org/core/iof_00000018
<https://www.industrialontologies.org/core/iof_00000018> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000030 ;
obo:IAO_0000116 "Note: this class is equivalent to the CCO class. The only reason to keep it distinct for now is the label. In the future, these may be recombined. http://www.ontologyrepository.com/CommonCoreOntologies/Artifact" ;
cco:definition "An Object that was designed by some Agent to realize a certain Function." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ArtifactOntology" ;
rdfs:label "Material Artifact"@en .
### https://www.industrialontologies.org/core/iof_00000019
<https://www.industrialontologies.org/core/iof_00000019> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
obo:IAO_0000602 "business-process(x) → planned-process(x) & ∃y∃f (organization(y) & has-function(y, f) & realizes(x, f))" ;
cco:definition "def. planned process that realizes a business function of an organization." ;
rdfs:comment "business functions are functions realized in the financial processes of an enterprise or non-profit organization." ;
rdfs:label "Business Process" .
### https://www.industrialontologies.org/core/iof_00000020
<https://www.industrialontologies.org/core/iof_00000020> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000016 ;
cco:definition "tbd" ;
rdfs:comment "The BFO term ‘disposition’ is used to refer to all tendencies, powers, habits, skills, potentials, and so forth, which a material entity may possess. A capability is (simplifying somewhat) a disposition that in normal circumstances brings benefits to its bearer, user, or owner." ;
rdfs:label "Capability" .
### https://www.industrialontologies.org/core/iof_00000021
<https://www.industrialontologies.org/core/iof_00000021> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000016> ;
cco:definition "TBD" ;
rdfs:label "Completed Assembly"@en .
### https://www.industrialontologies.org/core/iof_00000022
<https://www.industrialontologies.org/core/iof_00000022> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000023>
] ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
obo:IAO_0000602 "instance-of(x.component,t)≡instance-of(x,material-artifact,t) &∃y(instance-of(y, component-role, t) & has-role(x, y))" ;
cco:definition "def. material artifact that bears a component role."@en ;
rdfs:comment "Comment: All components exist initially as self-standing products, since they have to be manufactured."@en ;
rdfs:label "Component"@en .
### https://www.industrialontologies.org/core/iof_00000023
<https://www.industrialontologies.org/core/iof_00000023> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
cco:definition "def. role inhering in a material artifact that is designed to be a proper continuant part of some material artifact." ;
rdfs:label "Component Role" .
### https://www.industrialontologies.org/core/iof_00000024
<https://www.industrialontologies.org/core/iof_00000024> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000025>
] ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000014> ;
obo:IAO_0000602 "customer(x) ≡ ∃y( customer role(y) & has-role(x, y) )" ;
cco:definition "def. agent who bears some customer role."@en ;
rdfs:label "Customer"@en .
### https://www.industrialontologies.org/core/iof_00000025
<https://www.industrialontologies.org/core/iof_00000025> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
obo:IAO_0000602 "instance-of(x, customer-role, t) ≡ ∃y, z( agent(y, t) & has-role(x, y, t) & ∃w ( instance-of(w, act-of-purchasing, t) & agent-in(y , w, t) ))" ;
cco:definition "def. role inhering in an agent and realized in an act of purchasing, and which comes into exist at the point in time when a purchasing act has been initiated through to completion. " ;
rdfs:label "Customer Role" .
### https://www.industrialontologies.org/core/iof_00000026
<https://www.industrialontologies.org/core/iof_00000026> rdf:type owl:Class ;
rdfs:subClassOf cco:DirectiveInformationContentEntity ;
obo:IAO_0000602 "design(x) →directive information content entity(x)&∃x1, x2, ...,xn∀ i(product requirement(xi ) & part-of(xi, x) ))" ;
cco:definition "def. (primitive term): directive information content entity that has product requirements as parts." ;
rdfs:comment """Comment 1: Prescribes is a primitive relation. A prescribes B means: A is some information content entity that tells us how the world has to be for it to conform to A. For example, a command prescribes how you should behave in order to conform to the command. A quality specification prescribes how a product has to be in order to conform to the quality specification.
""" ,
"Comment 2: ‘Prescribes can be understood in terms of Searle’s idea of a mind to world direction of fit – where prescribing occurs there is a portion of reality that involves something like an attempt by an agent to make the world fit what the agent intends. World to mind direction of fit occurs where a mind tries to make itself fit – for example, in its assertions or beliefs – the world [19]." ,
"Comment 3: See also CCO's \"Artifact Design\" for insight" ;
rdfs:label "Design" .
### https://www.industrialontologies.org/core/iof_00000027
<https://www.industrialontologies.org/core/iof_00000027> rdf:type owl:Class ;
rdfs:subClassOf cco:DescriptiveInformationContentEntity ;
cco:definition "def. descriptive information content entity that describes some feature." ;
rdfs:label "Feature Description" .
### https://www.industrialontologies.org/core/iof_00000028
<https://www.industrialontologies.org/core/iof_00000028> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000045> ;
cco:definition "tbd" ;
rdfs:label "Fixture"@en .
### https://www.industrialontologies.org/core/iof_00000029
<https://www.industrialontologies.org/core/iof_00000029> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
obo:IAO_0000602 "instance-of(x, input-material-role, t) ≡ role(x) & ∃y ,w,z( instance-of(y, material-entity, t) & has-role(y, x, t) & has-capability(y, w) & ∀z (realizes(z, w) → & manufacturing-process(z) & has-specified-input (z, y) ))" ;
cco:definition "def. role that inheres in a material entity that has the capability to serve as a specified input of a manufacturing process." ;
rdfs:label "Input Material Role" .
### https://www.industrialontologies.org/core/iof_00000030
<https://www.industrialontologies.org/core/iof_00000030> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000016 ;
obo:IAO_0000602 "instance-of(x, action, t) → ∃y, t′(instance-of(y, intention, t′) & realizes (x, y) & (precedes(t′, t) ˅ first-instant(t′, t)))" ;
cco:definition "def. disposition realized in an Action" ;
rdfs:comment "Every action realizes some intention that precedes it or starts simultaneously with it." ,
"This is a provisional definition. Need to add “mental disposition” and assert this under it." ;
rdfs:label "Intention" .
### https://www.industrialontologies.org/core/iof_00000031
<https://www.industrialontologies.org/core/iof_00000031> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
rdfs:label "Maintenance Process" .
### https://www.industrialontologies.org/core/iof_00000032
<https://www.industrialontologies.org/core/iof_00000032> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
cco:definition "tbd" ;
rdfs:label "Manufactured Product"@en .
### https://www.industrialontologies.org/core/iof_00000034
<https://www.industrialontologies.org/core/iof_00000034> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
cco:definition "def. planned process that has agent some manufacturing enterprise, where the agent realizes the planned processes of the enterprise." ;
rdfs:label "Manufacturing Enterprise Process" .
### https://www.industrialontologies.org/core/iof_00000035
<https://www.industrialontologies.org/core/iof_00000035> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
obo:IAO_0000602 "instance-of(x,manufacturing-machine,t) ≡instance-of(x,machine,t) & ∃y (has-function(x, y) & ∀z (realizes(f, z) → manufacturing-process(z)))" ;
cco:definition "def. machine whose function is realized in a manufacturing process."@en ;
rdfs:label "Manufacturing Machine"@en .
### https://www.industrialontologies.org/core/iof_00000036
<https://www.industrialontologies.org/core/iof_00000036> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
obo:IAO_0000602 "manufacturing-process(x) → ∃y(product-production-process(y) & occurrent-part(x, y) )" ;
cco:definition "def. planned process that is an occurrent part of a product production process in which one or more material entities that will be part of a manufactured product are modified." ;
rdfs:label "Manufacturing Process" .
### https://www.industrialontologies.org/core/iof_00000037
<https://www.industrialontologies.org/core/iof_00000037> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000049> ;
cco:definition "def. plan specification, consisting of a collection of directive information content entities as parts, that prescribes a product production process to create some product."@en ;
rdfs:label "Manufacturing Process Plan"@en .
### https://www.industrialontologies.org/core/iof_00000038
<https://www.industrialontologies.org/core/iof_00000038> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000039>
] ;
rdfs:subClassOf obo:BFO_0000002 ;
obo:IAO_0000602 "instance-of(x, manufacturing resource, t) ≡ ∃y(manufacturing resource role(y) & has-role(x, y, t) )" ;
cco:definition "def. continuant that bears a manufacturing resource role." ;
rdfs:label "Manufacturing Resource" .
### https://www.industrialontologies.org/core/iof_00000039
<https://www.industrialontologies.org/core/iof_00000039> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
obo:IAO_0000602 "instance-of(x, manufacturing-resource-role, t) ≡ ∃y(instance-of(y, continuant, t) & has-role(y, x, t) & ∃d(instance-of(d, disposition, t) & has-disposition(y, d, t)) & ∀p((process(p) & realizes(p, d)) → manufacturing-enterprise-process(p)))" ;
cco:definition "def. role that inheres in an independent continuant where that continuant bears a disposition that, if realized, is realized in a manufacturing enterprise process." ;
rdfs:label "Manufacturing Resource Role" .
### https://www.industrialontologies.org/core/iof_00000040
<https://www.industrialontologies.org/core/iof_00000040> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
obo:IAO_0000602 "Manufacturing tool(x) ≡material-entity(x)&∃f(function(f) &has-function(x,f) & ∀y (realizes(y, f) → manufacturing process (y)))" ;
cco:definition "def. a material entity that bears some function whch if realized, is realized in a manufacturing process." ;
rdfs:label "Manufacturing Tool" .
### https://www.industrialontologies.org/core/iof_00000042
<https://www.industrialontologies.org/core/iof_00000042> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000038> ;
obo:IAO_0000602 "instance-of(x, material-resource, t) ≡ instance-of(x, manufacturing-resource, t) & instance-of(x, material-entity, t)" ;
cco:definition "def. manufacturing resource that is a material entity."@en ;
rdfs:comment "This term is here defined as meaning, not raw material, but rather resources available to the enterprise that are made of matter (thus buildings, vehicles, equipment, and so forth, as contrasted with intellectual property, software, and so forth)."@en ;
rdfs:label "Material Resource"@en .
### https://www.industrialontologies.org/core/iof_00000043
<https://www.industrialontologies.org/core/iof_00000043> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000020 ;
obo:IAO_0000602 "measured-product-quality(x) ≡ specifically-dependent-continuant(x) & ∃y( product(y) & inheres-in(x, y)) & ∃z(measurement-result(z) & is-measured-by(x, z) )" ;
cco:definition "def. specifically dependent continuant that inheres in some product and is measured by some measurement information content entity." ;
rdfs:comment "product quality: synonym of ‘measured product quality’" ;
rdfs:label "Measured Product Quality" .
### https://www.industrialontologies.org/core/iof_00000045
<https://www.industrialontologies.org/core/iof_00000045> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000018> ;
cco:definition "def. primitive term that refers to a material artifact that is used to realize some action (primitive term)."@en ;
rdfs:comment "‘Equipment’ is a synonym of ‘piece of equipment’."@en ;
rdfs:label "Piece of Equipment"@en .
### https://www.industrialontologies.org/core/iof_00000046
<https://www.industrialontologies.org/core/iof_00000046> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000045> ;
obo:IAO_0000602 "piece of manufacturing equipment(x) ≡ piece of equipment(x) &∃f(has-function(x,f) & ∀p (process(p) & realizes(p, f) → manufacturing process(p))" ;
cco:definition "def. piece of equipment that bears a function where any process that realizes that function is a manufacturing process."@en ;
rdfs:label "Piece of Manufacturing Equipment"@en .
### https://www.industrialontologies.org/core/iof_00000047
<https://www.industrialontologies.org/core/iof_00000047> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
obo:IAO_0000602 "product-production-process(x) ≡ ∃y(continuant(y) & has-output(x, y) & ∃t ∃t′(exists-at(y, t) & precedes(t′ , t) & ¬exists at(y , t′ )" ;
cco:definition "def. planned process that has specified output some product, where the product did not exist prior to the planned process. " ;
rdfs:comment "a production process is distinct from a maintenance process in that, in the latter case, the product exists both before and after the process occurs." ;
rdfs:label "Product Production Process" .
### https://www.industrialontologies.org/core/iof_00000048
<https://www.industrialontologies.org/core/iof_00000048> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000050> ;
obo:IAO_0000602 """For every plan there is some plan specification that precedes the plan.
instance-of(x, plan, t) → ∃y, t′(instance-of(y , plan-specification, t′) & (precedes(t′ , t))""" ;
cco:definition "def. intention-to-perform processes on the part of an agent as prescribed by a plan specification."@en ;
rdfs:comment """Comment 1: if the agent of a plan =def. person-aggregate (for example an enterprise, a team), then the intentions will be the intention of the corresponding persons. Where persons of different levels of authority are involved, the subplans will be correspondingly nested. FIND LITERATURE ON THIS {@en}
""" ,
"Comment 2: A plan is a concretization of a plan specification, namely the concretization in which the intention-to-perform (disposition) is first established."@en ,
"Comment: the plan specification may be written down, or inferred on the fly by a human agent from what is written down, or it may exist as a spoken command that is communicated to those required to realize it."@en ;
rdfs:label "Plan Intention"@en .
### https://www.industrialontologies.org/core/iof_00000049
<https://www.industrialontologies.org/core/iof_00000049> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000061> ;
cco:definition "def. a specification with action specifications and objective specifications as parts." ;
rdfs:comment "When concretized, may be realized in a process performed by some agent to achieve the prescribed process endpoints by taking the prescribed actions." ;
rdfs:label "Plan Specification" .
### https://www.industrialontologies.org/core/iof_00000050
<https://www.industrialontologies.org/core/iof_00000050> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000030> ;
cco:definition "tbd" ;
rdfs:label "Intention to Perform"@en .
### https://www.industrialontologies.org/core/iof_00000051
<https://www.industrialontologies.org/core/iof_00000051> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000056> ;
cco:definition "tbd" ;
rdfs:label "Product Requirement"@en .
### https://www.industrialontologies.org/core/iof_00000052
<https://www.industrialontologies.org/core/iof_00000052> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
cco:definition "def. a role inhering in an entity that is the specified output of a product production process." ;
rdfs:comment """Comment 1: naturally found entities such as seashells are not products, according to this definition; they become products only if, for example, they are packaged in a certain way.
""" ,
"Comment 2: Parcels of real estate, according to this definition, are excluded from the realm of products." ;
rdfs:label "Product Role" .
### https://www.industrialontologies.org/core/iof_00000053
<https://www.industrialontologies.org/core/iof_00000053> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000054>
] ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000014> ;
obo:IAO_0000602 "prospective-customer(x) ≡ ∃y(capability(y) & has-capability(x, y) & ∀p ( realizes(y , p) → act-of-purchasing(p))" ;
cco:definition "def. agent capable of performing an act of purchasing."@en ;
rdfs:comment "“Prospective customer” and “potential customer” are synonyms."@en ;
rdfs:label "Prospective Customer"@en .
### https://www.industrialontologies.org/core/iof_00000054
<https://www.industrialontologies.org/core/iof_00000054> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
obo:IAO_0000602 "instance-of(x, prospective-customer-role, t) → ∃y, z(agent(y, t) & has-role(x, y, t) &(has-disposition(y, z, t) & ∀w(realizes(w, z) → ∃t′(instance-of(w, purchasing-act, t′) & precedes(t, t′))" ;
cco:definition "def. (primitive term): the role inhering in an agent from the point in time when a disposition to purchase exists to the point in time when the purchasing act is initiated" ;
rdfs:label "Prospective Customer Role" .
### https://www.industrialontologies.org/core/iof_00000055
<https://www.industrialontologies.org/core/iof_00000055> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000061> ;
obo:IAO_0000602 "quality-specification(x) ≡ specification(x) & ∃Q(specifies(x, Q) & ∀q ( instance-of(q, Q) → quality(q)))" ;
cco:definition "def. specification that prescribes some quality that an object must have."@en ;
rdfs:comment "A quality specification specifies a quality as something that is to come into existence as a result of a planned process."@en ;
rdfs:label "Quality Specification"@en .
### https://www.industrialontologies.org/core/iof_00000056
<https://www.industrialontologies.org/core/iof_00000056> rdf:type owl:Class ;
rdfs:subClassOf cco:DirectiveInformationContentEntity ;
cco:definition "tbd" ;
rdfs:label "Requirement" .
### https://www.industrialontologies.org/core/iof_00000057
<https://www.industrialontologies.org/core/iof_00000057> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000069>
] ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000014> ;
cco:definition "tbd" ;
rdfs:label "Purchaser"@en .
### https://www.industrialontologies.org/core/iof_00000058
<https://www.industrialontologies.org/core/iof_00000058> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
obo:IAO_0000602 "instance-of(x, raw-material-role, t) ≡ role(x) & ∃y(instance-of(y, material-entity, t) & has-role(y, x, t) & ¬ ∃z( manufacturing-process(z) & has-specified-input(z, y))" ;
cco:definition "def. role that inheres in a material entity that is a specified input of a manufacturing process and is not the output of any manufacturing process." ;
rdfs:label "Raw Material Role" .
### https://www.industrialontologies.org/core/iof_00000059
<https://www.industrialontologies.org/core/iof_00000059> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000068>
] ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000014> ;
cco:definition "tbd" ;
rdfs:label "Seller"@en .
### https://www.industrialontologies.org/core/iof_00000060
<https://www.industrialontologies.org/core/iof_00000060> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
cco:definition "tbd" ;
rdfs:label "Step" .
### https://www.industrialontologies.org/core/iof_00000061
<https://www.industrialontologies.org/core/iof_00000061> rdf:type owl:Class ;
rdfs:subClassOf cco:DirectiveInformationContentEntity ;
obo:IAO_0000602 "specifies: primitive relation between a specification and that which it species. specifies(x,y)≡specification(x) &prescribes(x,y)" ;
cco:definition "def. directive information content entity that prescribes some part or feature or some outcome of a planned process." ;
rdfs:label "Specification" .
### https://www.industrialontologies.org/core/iof_00000062
<https://www.industrialontologies.org/core/iof_00000062> rdf:type owl:Class ;
owl:equivalentClass [ rdf:type owl:Restriction ;
owl:onProperty obo:RO_0000087 ;
owl:someValuesFrom <https://www.industrialontologies.org/core/iof_00000065>
] ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000014> ;
obo:IAO_0000602 "supplier(x) ≡ ∃y ( supplier role(y) & has-role(y, x))" ;
cco:definition "def. agent who bears a supplier role."@en ;
rdfs:comment "‘provider’ is a synonym of ‘supplier’."@en ;
rdfs:label "Supplier"@en .
### https://www.industrialontologies.org/core/iof_00000063
<https://www.industrialontologies.org/core/iof_00000063> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000013> ;
cco:definition "def. a planned process or unified action complex that is specified in a task specification."@en ;
rdfs:label "Task"@en .
### https://www.industrialontologies.org/core/iof_00000064
<https://www.industrialontologies.org/core/iof_00000064> rdf:type owl:Class ;
rdfs:subClassOf cco:Tool ;
rdfs:comment "tbd" ;
rdfs:label "Tool" .
### https://www.industrialontologies.org/core/iof_00000065
<https://www.industrialontologies.org/core/iof_00000065> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
obo:IAO_0000602 "supplier role(x) ≡ ∃y(agent(y ) & has-role(y, x) & ∀p ((process(p) & realizes(y, p) ) → act-of-selling(p) )" ;
cco:definition "def. role inhering in an agent that, if realized, is realized in some act of selling." ;
rdfs:label "Supplier Role" .
### https://www.industrialontologies.org/core/iof_00000066
<https://www.industrialontologies.org/core/iof_00000066> rdf:type owl:Class ;
rdfs:subClassOf <https://www.industrialontologies.org/core/iof_00000061> ;
cco:definition "A Specification that is part of a Plan Specification and prescribes some Action or unified action complex."@en ;
rdfs:label "Task Specification"@en .
### https://www.industrialontologies.org/core/iof_00000067
<https://www.industrialontologies.org/core/iof_00000067> rdf:type owl:Class ;
rdfs:subClassOf obo:OBI_0000011 ;
obo:IAO_0000602 "transport process(x)→planned-process(x) &∃y∃ t∃ t′∃s∃ s′(material entity(y)& occupies(x, t) & occupies(x, t′) & occupies(y, s, t) & occupies(y, s′, t′ )) & earlier-than(t, t′ )" ;
cco:definition "def. planned process in which a material entity is moved from one site to another. " ;
rdfs:comment "Transport process includes both internal (e.g., inside a factory) and external (e.g., between factories) moving of an object" ;
rdfs:label "Transport Process" .
### https://www.industrialontologies.org/core/iof_00000068
<https://www.industrialontologies.org/core/iof_00000068> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
rdfs:label "Seller Role" .
### https://www.industrialontologies.org/core/iof_00000069
<https://www.industrialontologies.org/core/iof_00000069> rdf:type owl:Class ;
rdfs:subClassOf obo:BFO_0000023 ;
rdfs:label "Purchaser Role" .
#################################################################
# Annotations
#################################################################
owl:Nothing rdfs:label "tbd" .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi