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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WhenFn
WhenFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2736-2738
No TPTP formula. May not be expressible in strict first order. Merge.kif 8400-8403
No TPTP formula. May not be expressible in strict first order. Merge.kif 8397-8397 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8394-8394 When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8396-8396 When is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8395-8395 When is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8398-8398 The range of when is an instance of time interval

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 455-455
No TPTP formula. May not be expressible in strict first order. english_format.kif 461-461
No TPTP formula. May not be expressible in strict first order. Merge.kif 4162-4162 Where is internally related to when
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62959-62959
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 456-456
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62958-62958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62957-62957

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3229-3243
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. Merge.kif 17997-18003
No TPTP formula. May not be expressible in strict first order. Merge.kif 17975-17981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17049-17059
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 496-509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9781-9803
No TPTP formula. May not be expressible in strict first order. Merge.kif 12198-12212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9842-9864
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3968-3993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 482-494
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 665-671
No TPTP formula. May not be expressible in strict first order. Merge.kif 13646-13654
No TPTP formula. May not be expressible in strict first order. Merge.kif 11523-11530
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. Government.kif 774-783
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1926-1940
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4564-4574
No TPTP formula. May not be expressible in strict first order. Merge.kif 12246-12255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 445-458
No TPTP formula. May not be expressible in strict first order. Geography.kif 6714-6728
No TPTP formula. May not be expressible in strict first order. Merge.kif 11849-11858
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12281-12288 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. People.kif 383-416 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 108-123 A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 144-159 A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 264-290 A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 429-462 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 336-368 A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 935-942 An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16708-16717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20555-20562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18632-18638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6188-6201
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4371-4380
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Music.kif 456-469
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2893-2909
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2929-2945
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2866-2882
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2022-2043
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2045-2066
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Merge.kif 13656-13669
No TPTP formula. May not be expressible in strict first order. Hotel.kif 684-695
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20529-20538

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18028-18045 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ
No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity
No TPTP formula. May not be expressible in strict first order. Media.kif 1920-1920 Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth


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