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 2462-2462 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2461-2461 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 2465-2471
No TPTP formula. May not be expressible in strict first order. Merge.kif 2459-2459 The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2460-2460 The number 2 argument of resource is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2457-2457 resource is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2458-2458 resource is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2456-2456 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 8447-8447 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 12243-12250 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 30166-30187
No TPTP formula. May not be expressible in strict first order. Merge.kif 10194-10198
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 10170-10176
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 11090-11094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19823-19828
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 12324-12333
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 3149-3157
No TPTP formula. May not be expressible in strict first order. Merge.kif 12291-12297
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 11346-11350
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. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Merge.kif 7937-7942
No TPTP formula. May not be expressible in strict first order. Merge.kif 12340-12346
No TPTP formula. May not be expressible in strict first order. Merge.kif 12304-12310

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6185-6195 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. Mid-level-ontology.kif 18814-18827
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2509-2517
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. Mid-level-ontology.kif 14671-14683
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 3863-3868
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1849-1857
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 21051-21058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4507-4513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21098-21105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4496-4498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2991-2997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19083-19090
No TPTP formula. May not be expressible in strict first order. Cars.kif 20-25
No TPTP formula. May not be expressible in strict first order. Cars.kif 1674-1681

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