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

Formal Language: 



KB Term:  Term intersection
English Word: 

  successorClass

 Sigma KEE - successorClass
successorClass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9018-9020
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1533-1534
No TPTP formula. May not be expressible in strict first order. Merge.kif 9013-9013 域 successorClass, 1 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 9014-9014 域 successorClass, 2 and Class
No TPTP formula. May not be expressible in strict first order. Merge.kif 9011-9011 例 successorClass and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9012-9012 例 successorClass and TransitiveRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9022-9022 相關的內部概念 successorClass and 繼承屬性

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9015-9015
No TPTP formula. May not be expressible in strict first order. Merge.kif 9016-9016

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8706-8713
No TPTP formula. May not be expressible in strict first order. Merge.kif 8715-8720

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9027-9027 successorClass April and May
No TPTP formula. May not be expressible in strict first order. Merge.kif 9031-9031 successorClass August and September
No TPTP formula. May not be expressible in strict first order. Merge.kif 9025-9025 successorClass February and March
No TPTP formula. May not be expressible in strict first order. Merge.kif 9041-9041 successorClass Friday and Saturday
No TPTP formula. May not be expressible in strict first order. Merge.kif 9024-9024 successorClass January and February
No TPTP formula. May not be expressible in strict first order. Merge.kif 9030-9030 successorClass July and August
No TPTP formula. May not be expressible in strict first order. Merge.kif 9029-9029 successorClass June and July
No TPTP formula. May not be expressible in strict first order. Merge.kif 9026-9026 successorClass March and April
No TPTP formula. May not be expressible in strict first order. Merge.kif 9028-9028 successorClass May and June
No TPTP formula. May not be expressible in strict first order. Merge.kif 9037-9037 successorClass Monday and Tuesday
No TPTP formula. May not be expressible in strict first order. Merge.kif 9034-9034 successorClass November and December
No TPTP formula. May not be expressible in strict first order. Merge.kif 9033-9033 successorClass October and November
No TPTP formula. May not be expressible in strict first order. Merge.kif 9032-9032 successorClass September and October
No TPTP formula. May not be expressible in strict first order. Merge.kif 9036-9036 successorClass Sunday and Monday
No TPTP formula. May not be expressible in strict first order. Merge.kif 9040-9040 successorClass Thursday and Friday
No TPTP formula. May not be expressible in strict first order. Merge.kif 9038-9038 successorClass Tuesday and Wednesday
No TPTP formula. May not be expressible in strict first order. Merge.kif 9039-9039 successorClass Wednesday and Thursday


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