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 2454-2454 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2453-2453 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 2457-2463
No TPTP formula. May not be expressible in strict first order. Merge.kif 2451-2451 The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2452-2452 The number 2 argument of resource is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2449-2449 resource is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2450-2450 resource is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2448-2448 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. Mid-level-ontology.kif 8401-8401 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 49706-49706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49705-49705

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12228-12235 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 334-349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30040-30061
No TPTP formula. May not be expressible in strict first order. Merge.kif 10183-10187
No TPTP formula. May not be expressible in strict first order. Merge.kif 10172-10176
No TPTP formula. May not be expressible in strict first order. Merge.kif 10159-10165
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 11035-11039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19738-19743
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 12309-12318
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 3139-3147
No TPTP formula. May not be expressible in strict first order. Merge.kif 12276-12282
No TPTP formula. May not be expressible in strict first order. Economy.kif 4672-4678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11291-11295
No TPTP formula. May not be expressible in strict first order. Food.kif 1030-1045
No TPTP formula. May not be expressible in strict first order. Merge.kif 7929-7934
No TPTP formula. May not be expressible in strict first order. Merge.kif 12325-12331
No TPTP formula. May not be expressible in strict first order. Merge.kif 12289-12295

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6147-6157 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 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18730-18743
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2501-2509
No TPTP formula. May not be expressible in strict first order. Food.kif 524-538
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. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14596-14608
No TPTP formula. May not be expressible in strict first order. Economy.kif 4815-4821
No TPTP formula. May not be expressible in strict first order. Merge.kif 3855-3860
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1841-1849
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 1051-1058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20943-20950
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4491-4497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20990-20997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4480-4482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2981-2987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18998-19005
No TPTP formula. May not be expressible in strict first order. Cars.kif 20-25

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