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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - immediateInstance
immediateInstance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1363-1365
No TPTP formula. May not be expressible in strict first order. Merge.kif 94-96
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 21-23
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 21-23
No TPTP formula. May not be expressible in strict first order. Merge.kif 90-90 直接实例 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 91-91 直接实例 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 92-92 直接实例非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 93-93 直接实例非传递关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 89-89 直接实例实例subrelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 301-301
No TPTP formula. May not be expressible in strict first order. english_format.kif 306-306
No TPTP formula. May not be expressible in strict first order. french_format.kif 173-173
No TPTP formula. May not be expressible in strict first order. relations-it.txt 138-138
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1993-1993
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 125-125
No TPTP formula. May not be expressible in strict first order. relations-de.txt 394-394
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 177-177
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 193-193
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 182-182
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 280-280
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 302-302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29355-29355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29354-29354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29353-29353
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 281-281

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1172-1184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25722-25737
No TPTP formula. May not be expressible in strict first order. Catalog.kif 337-352
No TPTP formula. May not be expressible in strict first order. Catalog.kif 354-370
No TPTP formula. May not be expressible in strict first order. Catalog.kif 372-387
No TPTP formula. May not be expressible in strict first order. Catalog.kif 430-445
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. Merge.kif 98-104

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Catalog.kif 311-324
No TPTP formula. May not be expressible in strict first order. Catalog.kif 276-289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15016-15024
No TPTP formula. May not be expressible in strict first order. Catalog.kif 419-428


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



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