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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - successorClass
successorClass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9002-9004
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 8997-8997 The number 1 argument of successor class is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 8998-8998 The number 2 argument of successor class is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 8995-8995 successor class is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8996-8996 successor class is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9006-9006 successor class is internally related to successor attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8999-8999
No TPTP formula. May not be expressible in strict first order. Merge.kif 9000-9000

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8690-8697
No TPTP formula. May not be expressible in strict first order. Merge.kif 8699-8704

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9011-9011 May is the successor class of April.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9015-9015 September is the successor class of August.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9009-9009 March is the successor class of February.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9025-9025 Saturday is the successor class of Friday.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9008-9008 February is the successor class of January.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9014-9014 August is the successor class of July.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9013-9013 July is the successor class of June.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9010-9010 April is the successor class of March.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9012-9012 June is the successor class of May.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9021-9021 Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9018-9018 December is the successor class of November.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9017-9017 November is the successor class of October.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9016-9016 October is the successor class of September.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9020-9020 Monday is the successor class of Sunday.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9024-9024 Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9022-9022 Wednesday is the successor class of Tuesday.
No TPTP formula. May not be expressible in strict first order. Merge.kif 9023-9023 Thursday is the successor class of Wednesday.


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