Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  resource

Sigma KEE - resource
resource

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2514-2514 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2513-2513 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1887-1891
No TPTP formula. May not be expressible in strict first order. Merge.kif 2517-2523
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 512-516
No TPTP formula. May not be expressible in strict first order. Merge.kif 2511-2511 The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2512-2512 The number 2 argument of resource is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2509-2509 resource is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2510-2510 resource is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2508-2508 resource is a subrelation of patient

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 181-181
No TPTP formula. May not be expressible in strict first order. english_format.kif 182-182
No TPTP formula. May not be expressible in strict first order. french_format.kif 110-110
No TPTP formula. May not be expressible in strict first order. relations-it.txt 256-256
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1939-1939
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 86-86
No TPTP formula. May not be expressible in strict first order. relations-de.txt 229-229
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 293-293
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 129-129
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 115-115
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 448-448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8798-8798 reactant is a subrelation of resource
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 182-182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49723-49723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49722-49722
No TPTP formula. May not be expressible in strict first order. terms-de.txt 72-72

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12466-12473 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30662-30683
No TPTP formula. May not be expressible in strict first order. Merge.kif 10276-10280
No TPTP formula. May not be expressible in strict first order. Merge.kif 10265-10269
No TPTP formula. May not be expressible in strict first order. Merge.kif 10252-10258
No TPTP formula. May not be expressible in strict first order. Cars.kif 617-627
No TPTP formula. May not be expressible in strict first order. Cars.kif 639-649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11554-11558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20415-20420
No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
No TPTP formula. May not be expressible in strict first order. Merge.kif 12547-12556
No TPTP formula. May not be expressible in strict first order. Cars.kif 3155-3165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3188-3196
No TPTP formula. May not be expressible in strict first order. Merge.kif 12514-12520
No TPTP formula. May not be expressible in strict first order. Economy.kif 5629-5635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11810-11814
No TPTP formula. May not be expressible in strict first order. Food.kif 3617-3632
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Merge.kif 8025-8030
No TPTP formula. May not be expressible in strict first order. Merge.kif 12563-12569
No TPTP formula. May not be expressible in strict first order. Merge.kif 12527-12533

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6478-6488 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3954-3964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19379-19392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2546-2554
No TPTP formula. May not be expressible in strict first order. Food.kif 2548-2562
No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15152-15164
No TPTP formula. May not be expressible in strict first order. Economy.kif 5772-5778
No TPTP formula. May not be expressible in strict first order. Merge.kif 3936-3941
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1033-1039
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1026-1031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1886-1894
No TPTP formula. May not be expressible in strict first order. Cars.kif 607-615
No TPTP formula. May not be expressible in strict first order. Cars.kif 629-637
No TPTP formula. May not be expressible in strict first order. Food.kif 3638-3645
No TPTP formula. May not be expressible in strict first order. Food.kif 1566-1573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4757-4763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4746-4748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3030-3036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19648-19655

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners